Symbolic Tensor Calculus - Functional and Dynamic Approach
نویسندگان
چکیده
A b s t r a c t In this paper, we briefly discuss the dynamic and functional approach to computer symbolic tensor analysis. The ccgrg package for Wolfram Language/Mathematica is used to illustrate this approach. Some examples of applications are attached.
منابع مشابه
Dynamic Assessment( DA) and Evaluation of Problem-solving Skills in Childeren
Introduction: The term dynamic assessment (DA) refers to an assessment, by an active teaching process, of a child's perception, learning, thinking, and problem solving. The process is aimed at modifying an individual's cognitive functioning and observing subsequent changes in learning and problem-solving patterns within the testing situation. DA has been advocated as an alternative and/or sup...
متن کاملSymbolic Dynamic Programming
A symbolic dynamic programming approach for solving first-order Markov decision processes within the situation calculus is presented. As an alternative specification language for dynamic worlds the fluent calculus is chosen and the fluent calculus formalization of the symbolic dynamic programming approach is provided. The major constructs of Markov decision processes such as the optimal value f...
متن کاملA Dynamic Logic for Deductive Verification of Concurrent Java Programs With Condition Variables
In this paper, we present an approach aiming at full functional deductive verification of concurrent Java programs, based on symbolic execution. We define a Dynamic Logic and a deductive verification calculus for a restricted fragment of Java with native concurrency primitives. Even though we cannot yet deal with non-atomic loops, employing the technique of symmetry reduction allows us to verif...
متن کاملSymbolic Dynamic Programming within the Fluent Calculus
A symbolic dynamic programming approach for modelling first-order Markov decision processes within the fluent calculus is given. Based on an idea initially presented in [3], the major components of Markov decision processes such as the optimal value function and a policy are logically represented. The technique produces a set of first-order formulae with equality that minimally partitions the s...
متن کاملA Novel Integrated Approach to Modelling of Depletion-Induced Change in Full Permeability Tensor of Naturally Fractured Reservoirs
More than half of all hydrocarbon reservoirs are Naturally Fractured Reservoirs (NFRs), in which production forecasting is a complicated function of fluid flow in a fracture-matrix system. Modelling of fluid flow in NFRs is challenging due to formation heterogeneity and anisotropy. Stress sensitivity and depletion effect on already-complex reservoir permeability add to the sophistication. Horiz...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1603.05819 شماره
صفحات -
تاریخ انتشار 2016